THE <i>IT IS THAT</i>-CONSTRUCTION AND ABDUCTIVE INFERENCE
نویسندگان
چکیده
منابع مشابه
Abductive Expansion: Abductive Inference and the Process of Belief Change
Unlike the AGM framework of belief revision, where new information is added to the current belief state as it is (while attempting to preserve logical consistency), we model the following more natural proposal: agents seek a justiication (explanation) for the new information before \accepting" it and incorporate this justiication into their current belief state together with the new information...
متن کاملAbductive Expansion: Abductive Inference and the Process of Belief Changey
Unlike the AGM framework of belief revision, where new information is added to the current belief state as it is (while attempting to preserve logical consistency), we model the following more natural proposal: agents seek a justiication (explanation) for the new information before \accepting" it and incorporate this justiication into their current belief state together with the new information...
متن کاملLogic-Based Abductive Inference
This paper surveys the work on abductive inference within the eld of artii-cial intelligence (AI), with particular attention to logic-based abduction. The paper commences with a formal description of three popular characterizations of abductive inference. This is followed by an examination of several speciic logic-based abductive frameworks, each of which applies syntactic restrictions to the f...
متن کاملMachine Translation Using Abductive Inference
M a c h i n e T r a n s l a t i o n a n d W o r l d K n o w l e d g e . Many existing approaches to machine translation take for granted that the information presented in the output is found somewhere in the input, and, moreover, that such information should be expressed at a single representational level, say, in terms of the parse trees or of "semantic" assertions. Languages, however, not onl...
متن کاملAbductive Inference of Genetic Networks
GenePath is an automated system for reasoning on genetic networks, wherein a set of genes have various influences on one another and on a biological outcome. It acts on a set of experiments in which genes are knocked out or overexpressed, and the outcome of interest is evaluated. Implemented in Prolog, GenePath uses abductive inference to elucidate network constraints based on prior knowledge a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ENGLISH LINGUISTICS
سال: 2014
ISSN: 0918-3701,1884-3107
DOI: 10.9793/elsj.31.1_161